1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m21b.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W34P/3PT7SKB |
Repositório | sid.inpe.br/mtc-m21b/2017/10.30.17.39 |
Última Atualização | 2017:10.30.17.39.00 (UTC) simone |
Repositório de Metadados | sid.inpe.br/mtc-m21b/2017/10.30.17.39.01 |
Última Atualização dos Metadados | 2021:03.03.22.50.24 (UTC) administrator |
Chave Secundária | INPE-5334-PRE/1733 |
Chave de Citação | CalmetTjanBitt:1991:ShHyKn |
Título | Mantra: a shell for hybrid knowledge representation |
Ano | 1991 |
Data de Acesso | 17 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 3904 KiB |
|
2. Contextualização | |
Autor | 1 Calmet, J. 2 Tjandra, I. A. 3 Bittencourt, Guilherme |
Grupo | 1 2 3 LAC-INPE-BR |
Afiliação | 1 Institute of Algorithms and Cognitive Systems 2 Institute of Algorithms and Cognitive Systems 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Nome do Evento | International Conference on Tools for Artificial Inteligence, 3. |
Localização do Evento | San Jose, CA |
Data | 10-13 nov. |
Título do Livro | Proceedings |
Histórico (UTC) | 2017-10-30 17:39:32 :: simone -> administrator :: 1991 2021-03-03 22:50:24 :: administrator -> simone :: 1991 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Resumo | In this we present a shell for hybrid knowledge representation. This system supports four different knowledge representation formalisms: Firsi-order logic, terminological language, semantic networks and production systems. The system autornatically supports hybrid inferences taking into account lhe knowledge represented in different formalisms. Ali lhe algorithins involved in lhe inferences, supported by lhe system, are decidable, and have lhe property of being sound and complete according to a four-valued semantics. Besides these facilities, lhe shell allows lhe user to itpresent procedural knowledge of a domain using Lhe primitives embedded aI lhe heuristic levei. The system has been implemented in Comi -non Lisp, and makes use of an object-orienied ertension for Mis language. |
Área | COMP |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Mantra: a shell... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://mtc-m21b.sid.inpe.br/ibi/8JMKD3MGP3W34P/3PT7SKB |
URL dos dados zipados | http://mtc-m21b.sid.inpe.br/zip/8JMKD3MGP3W34P/3PT7SKB |
Idioma | en |
Arquivo Alvo | INPE-5334.pdf |
Grupo de Usuários | simone |
Grupo de Leitores | administrator simone |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Repositório Espelho | sid.inpe.br/mtc-m21b/2013/09.26.14.25.22 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/09.22.23.14 1 |
Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume |
|
7. Controle da descrição | |
e-Mail (login) | simone |
atualizar | |
|